perm filename C1[1,JRA] blob sn#005865 filedate 1972-07-21 generic text, type T, neo UTF8

00100	∀(X1)((LE(J X1) ∧ LE(X1 SUB1 (CN))) → LE(A(X1) A(ADD1(X1))));
00200	;